(define (p) (p))
(define (test x y)
	(if (= x 0)
		0
		y))
		
(test 0 (p))

;应用序：先求所有参数值，所以先求 (p) 的值，而 (p)的值是 (p)，继续替换，死循环
;正则序：从左到右求值，所以把 test 代入，然后先算 if，而 0==0，为真，所以变成 if #t 0  (p)，所以得 0.
(if (= 0 0 )
	0
	(p))